эффективно вычислимая функция

эффективно вычислимая функция
Mathematics: effectively calculable function (effectively computable)

Универсальный русско-английский словарь. . 2011.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "эффективно вычислимая функция" в других словарях:

  • ВЫЧИСЛИМАЯ ФУНКЦИЯ — функция, вычисление значений к рой может быть проведено с помощью заранее заданной эффективной процедуры, или алгоритма. Характерная черта вычислительных процессов вычисление искомых величин задач происходит последовательно из данных исходных… …   Математическая энциклопедия

  • ЧЁРЧ —         (Church) Алонзо (р. 14.6.1903, Вашингтон), амер. логик и математик. Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул осн. гипотезу теории вычислимых… …   Философская энциклопедия

  • Чёрч Алонзо — Чёрч (Church) Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947‒1967). С 1967 профессор математики и философии Калифорнийского университета (Лос Анджелес). Работы Ч. относятся к различным… …   Большая советская энциклопедия

  • Чёрч — (Church)         Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947 1967). С 1967 профессор математики и философии Калифорнийского университета (Лос Анджелес). Работы Ч. относятся к… …   Большая советская энциклопедия

  • АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

  • СИНТЕЗА ЗАДАЧИ — совокупность задач, концентрирующихся вокруг проблемы построения управляющей системы (у. с.), имеющей предписанное функционирование. У. с. строится из элементов, к рые обычно сами являются простыми у. с. При синтезе заранее заданы состав… …   Математическая энциклопедия

  • ПЛАТО МНОГОМЕРНАЯ ЗАДАЧА — термин, обозначающий серию задач, связанных с изучением экстремалей и глобальных минимумов функционала k мерного объема , определенного на k мерных обобщенных поверхностях, вложенных в n мерное риманово пространство М п и удовлетворяющих тем или… …   Математическая энциклопедия

  • Алгоритмическая разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»